Theoremproving machine

[计] 定理证明机

🧩 词语组成解析

theoremproving
[计] 定理证明
machine [mə'ʃin]
n. 机器，机械;机械般的人;核心; vt. 用机器制造，用机器加工; vi. 被机器切削;
mach机器+ine表名词 → 机器

🗣️ 情景例句

until they mentioned needing collateral or a guarantor.
在他们提到担保物或担保人之前。
Art is long, but lift is short.
人生有涯，而学无涯。
Good morning, Mr. Blake.
早上好，布莱克先生。
更多情景英语 ›

🔤 更多 T 开头的单词

tape-record
taxfree
thalamocoele
the next but one
three-lane
top-line
tractus nervosi projectionis
tremens rigor
全部 T 开头单词 ›